Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
2

Some effectively infinite classes of enumerations

Sergey Goncharov, Alexander Yakhnis, Vladimir Yakhnis 04
Журнал:
Annals of Pure and Applied Logic
Рік:
1993
Мова:
english
Файл:
PDF, 1.93 MB
english, 1993
3

Gurevich-Harrington's games defined by finite automata

Alexander Yakhnis, Vladimir Yakhnis
Журнал:
Annals of Pure and Applied Logic
Рік:
1993
Мова:
english
Файл:
PDF, 2.13 MB
english, 1993
4

Games with Unknown Past

Bakhadyr Khoussainov, Alexander Yakhnis, Vladimir Yakhnis
Журнал:
Mathematical Logic Quarterly
Рік:
1998
Мова:
english
Файл:
PDF, 1.13 MB
english, 1998
5

McNaughton games and extracting strategies for concurrent programs

Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
Журнал:
Annals of Pure and Applied Logic
Рік:
1996
Мова:
english
Файл:
PDF, 2.89 MB
english, 1996
6

Viability in hybrid systems

Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
Журнал:
Theoretical Computer Science
Рік:
1995
Мова:
english
Файл:
PDF, 1.85 MB
english, 1995